8

First-order theories for pure Prolog programs with negation

Year:
1995
Language:
english
File:
PDF, 1.76 MB
english, 1995